Computer Science

Results: 55984



#Item
711

The Stone Gamut: A Coordinatization of Mathematics Vaughan R. Pratt∗ Dept. of Computer Science Stanford University Stanford, CA 94305

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2005-01-09 13:06:38
    712

    BRICS Basic Research in Computer Science BRICS RSAmtoft et al.: The Abstraction and Instantiation of String-Matching Programs The Abstraction and Instantiation of

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-09-04 10:58:49
      713

      The GFBio Terminology Service: enabling research data management beyond data heterogeneity Naouel Karam1, Robert Harald Lorenz2, Claudia Müller-Birn3 1,2,3 Institute of Computer Science, Freie Universität Berlin Abstra

      Add to Reading List

      Source URL: books.ub.uni-heidelberg.de

      Language: English - Date: 2017-12-19 06:10:24
        714

        This version of the paper contains some typographical corrections made since publication, in Algorithm 1. The Neural Autoregressive Distribution Estimator Hugo Larochelle Department of Computer Science

        Add to Reading List

        Source URL: info.usherbrooke.ca

        Language: English - Date: 2012-04-20 20:28:58
          715

          The Continue Server (or, How I Administered PADL 2002 andShriram Krishnamurthi Computer Science Department Brown University Providence, RI, USA

          Add to Reading List

          Source URL: cs.brown.edu

          Language: English - Date: 2004-02-21 00:54:10
            716

            Using AgreementMaker to Align Ontologies for OAEI 2010? Isabel F. Cruz, Cosmin Stroe, Michele Caci, Federico Caimi, Matteo Palmonari?? , Flavio Palandri Antonelli, Ulas C. Keles ADVIS Lab, Department of Computer Science,

            Add to Reading List

            Source URL: www.dit.unitn.it

            Language: English - Date: 2010-12-01 04:29:24
              717

              The Optimality Program in Parameterized Algorithms Dániel Marx Institute for Computer Science and Control, Hungarian Academy of Sciences (MTA SZTAKI) Budapest, Hungary

              Add to Reading List

              Source URL: www.cs.bme.hu

              Language: English - Date: 2016-06-05 14:51:00
                718

                Hierarchical Double Dirichlet Process Mixture of Gaussian Processes Aditya Tayal and Pascal Poupart and Yuying Li {amtayal, ppoupart, yuying}@uwaterloo.ca Cheriton School of Computer Science University of Waterloo Waterl

                Add to Reading List

                Source URL: cs.uwaterloo.ca

                Language: English - Date: 2012-05-23 12:16:46
                  719

                  Type- and Control-Flow Analysis Matthew Fluet Department of Computer Science Rochester Institute of Technolgy

                  Add to Reading List

                  Source URL: proglang.informatik.uni-freiburg.de

                  Language: English - Date: 2018-04-15 13:19:09
                    720

                    A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems Siu On Chan and Michael Molloy Department of Computer Science University of Toronto {siuon,molloy}@cs.toronto.edu

                    Add to Reading List

                    Source URL: www.cse.cuhk.edu.hk

                    Language: English - Date: 2015-07-08 04:00:35
                      UPDATE